Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
51	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
52	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form
53	Computation of completely mixed equilibrium payoffs in bimatrix games Add to Reading List Source URL: faculty.biu.ac.il Language: English - Date: 2012-06-24 02:05:21 Game theory Bimatrix game LemkeHowson algorithm Best response Zero-sum game Matching pennies Strategy Normal-form game Risk dominance Symmetric game
54	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
55	Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089 Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-03-16 13:13:45 Recursion Binary trees Knowledge representation Computability theory B-tree Binary expression tree Tree traversal Disjunctive normal form Tree Parallel Tree Contraction Interval tree
56	A REDUCE package for the computation of several matrix normal forms Matt Rebbeck Konrad-Zuse-Zentrum f¨ ur Informationstechnik Berlin Takustra¨se 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:04 Linear algebra Matrix theory Matrices Jordan normal form Matrix Frobenius normal form Triangular matrix Square matrix Eigenvalues and eigenvectors Determinant Trace Canonical form
57	cs281: Computer Organization Lab3 Prelab Our objective in this prelab is to lay the groundwork for simplifying boolean expressions in order to minimize the complexity of the resultant digital logic circuit. We saw in La Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Boolean algebra Canonical normal form Karnaugh map Distributive property Truth table Equivalence of categories Integer Boolean function Equality Matrix Addition Negation
58	Strategies in Extensive-Form Games Page 1 Strategies in Extensive-Form Games Add to Reading List Source URL: www.virtualperfection.com Language: English - Date: 2010-04-18 23:59:17 Game theory Strategy Extensive-form game Nash equilibrium Normal-form game Determinacy Subgame Bayesian game Trembling hand perfect equilibrium
59	Cellular Automata Reversible over Limit Set? S IAMAK TAATI† Turku Centre for Computer Science, and Department of Mathematics, University of Turku, Finland Reversibility of dynamics is a fundamental feature of nature, Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:20 Combinatorics on words Symbolic dynamics Markov processes Spectral theory Ergodic theory Subshift of finite type Shift space Spectral theory of ordinary differential equations Jordan normal form
60	161 Documenta Math. C ∗ -Algebras Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2008-08-03 09:00:13 C-algebras Operator theory Approximately finite-dimensional C-algebra Bratteli diagram Von Neumann algebra Linear algebra Matrix theory -ring Jordan normal form